Nuprl Definition : msg-form 0,22

MsgAForm
== x:Id fp Top
== x:Knd fp Type
== x:Id fp Top
== x:Id fp Top
== x:KndId fp Top
== x:KndIdLnk fp Top
== x:Id fp Top
== x:IdLnkId fp Top
== k:Knd fp Top
== k:Knd fp Top
== x:Id fp Top
== Top 
latex



clarification:

msg-form{i:l}
== x:Id fp Top
== x:Knd fp Type{i}
== x:Id fp Top
== x:Id fp Top
== x:KndId fp Top
== x:KndIdLnk fp Top
== x:Id fp Top
== x:IdLnkId fp Top
== k:Knd fp Top
== k:Knd fp Top
== x:Id fp Top
== Top 
latex


DefinitionsType, IdLnk, Knd, x:AB(x), a:A fp B(a), Id, Top
FDL editor aliasesmsg-form

origin